Section: New Software and Platforms

PoCo

Polyhedral Compilation library

Keywords: Polyhedral compilation - Automatic parallelization

Functional Description

PoCo (Polyhedral Compilation library) is a compilation framework allowing to develop parallelizing compilers for regular programs. PoCo features many state-of-the-art polyhedral program analysis (dependences, affine scheduling, copde generation) and a symbolic calculator on execution traces (represented as convex polyhedra). PoCo has been registered at the APP (“agence de protection des programmes”) and transferred to the XtremLogic start-up under an Inria licence.

• Participant: Christophe Alias

• Contact: Christophe Alias

• Software transferred by Inria under an exclusive license, no web page.